fun foo(@Deprecated("x") x: Int, @Deprecated("y") @Deprecated("z") y: Int)

// SET_INT: PARAMETER_ANNOTATION_WRAP = 2
